#include<stdio.h>
int main()
{printf("刘相岐 ");
	return 0;
}
